package proof;

import formula.Formula;

public abstract class Proof {
    protected Formula conclusion;
    public Formula getConclusion(){
        return conclusion;
    }
    abstract public String toLatex();
}
